Order Comparisons on Canonical Isomorphisms
نویسندگان
چکیده
منابع مشابه
A Note on Isomorphisms Between Canonical Frames
This paper looks at the question of what kinds of automorphisms and isomorphisms can exist within and between canonical frames for modal logics. Specifically, this paper is able to partially answer the question posed by the author in [7] of whether FL ! = FL !1 in the presence of the extra-ZFC axiom “2! = 2!1 .” We answer the question in the negative for all logics below S5 and for all logics s...
متن کاملSecond-Order Type Isomorphisms Through Game Semantics
The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines. Our game model of λμ-calculus is based ...
متن کاملThe effect of canonical word order on the production and comprehension of pseudoclefts in L2
This study investigated the effect of word order and age on the production and comprehension of pseudoclefts in L2 across two experiments. For each experiment 16 female students aged between 179 and 210 months were recruited from a secondary school. These students were divided into two groups based on their age range; one group for investigating the effect of word order and age on the productio...
متن کاملplayed on partial isomorphisms
We study the poset 〈Iκ ,⊆〉 as a measure of how similar the structures A and B are to each other. A subset X of Iκ has the κ back-and-forth property if for all λ < κ ∀p ∈ X[∀a ∈ λA∃b ∈ B (p ∪ {〈a(i), b(i)〉 : i < λ} ∈ X) ∧ ∀b ∈ λB∃a ∈ A(p ∪ {〈a(i), b(i)〉 : i < λ} ∈ X)]. It is obvious that there is a largest κ-back-and-forth set which we denote by I∗ κ . The structures A and B are said to be parti...
متن کاملThe Influence of Canonical Word Order on Structural Processing
Language comprehension is something that humans perform rapidly, effortlessly, and typically without conscious thought. However, underlying this reflexive behavior there exists a multitude of processes at each of a number of different levels of analysis (spanning from basic phoneme discrimination to speech segmentation, to lexical access, to structural analysis, to discourse-level processing, e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1973
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000015580